basis and dimension